Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
Last Mile’s Resources
2016-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Linear-Time and May-Testing in a Probabilistic Reactive Setting
2011-01-01 Acciai, L; Boreale, M; De Nicola, R
Measuring Quality, Reputation and Trust in Online Communities
2012-01-01 Liao, H; Cimini, G; Medo, M
Models and Operators for Nondeterministic Processes
1984-01-01 De Nicola, R
Network-Aware Evaluation Environment for Reputation Systems Authors
2013-01-01 Celestini, A; De Nicola, R; Tiezzi, F
On the Power of Attribute-Based Communication
2016-01-01 Yehia Abd, Alrahman; De Nicola, R; M., Loreti
Orchestrating Tuple-Based Languages
2011-01-01 De Nicola, R; Margheri, A; Tiezzi, F
Partial ordering derivations for CCS
1985-01-01 Degano, P; De Nicola, R; Montanari, U
Partial orderings descriptions and observations of nondeterministic concurrent processes.
1988-01-01 Degano, P; De Nicola, R; Montanari, U
Possible Worlds for Process Algebras
1998-01-01 Veglioni, S; De Nicola, R
Preface (Editorial)
2016-01-01 De Nicola, R; Kuhn, E.
Programming and Verifying Component Ensembles.
2014-01-01 De Nicola, R; Lluch-Lafuente, A; Loreti, M; Morichetta, A; Pugliese, R; Senni, V; Tiezzi, F
Programming of CAS Systems by Relying on Attribute-Based Communication
2016-01-01 Yehia Abd, Alrahman; De Nicola, R; Michele, Loreti
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software
2014-01-01 Belzner, L; De Nicola, R; Vandin, A; Wirsing, M
Reconstructing topological properties of complex networks using the fitness model
2015-01-01 Cimini, G; Squartini, T; Musmeci, N; Puliga, M; Gabrielli, A; Garlaschelli, D; Battiston, S; Caldarelli, G
Replicating Data for Better Performances in X10
2016-01-01 Marina, Andric; De Nicola, R; Alberto, Lluch-Lafuente:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
2012-01-01 Bernardo, M; De Nicola, R; Loreti, M
RVerifying hardware components within JACK
1995-01-01 De Nicola, R; Fantechi, A; Gnesi, S; Larosa, S; Ristori G., Charme
Self-expression and Dynamic Attribute-Based Ensembles in SCEL
2014-01-01 Cabri, G; Capodieci, N; Cesari, L; De Nicola, R; Pugliese, R; Tiezzi, F; Zambonelli, F
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications
2012-01-01 Luís, Caires; MENDES TORRES VIEIRA, H
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Last Mile’s Resources | 1-gen-2016 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| Linear-Time and May-Testing in a Probabilistic Reactive Setting | 1-gen-2011 | Acciai, L; Boreale, M; De Nicola, R | |
| Measuring Quality, Reputation and Trust in Online Communities | 1-gen-2012 | Liao, H; Cimini, G; Medo, M | |
| Models and Operators for Nondeterministic Processes | 1-gen-1984 | De Nicola, R | |
| Network-Aware Evaluation Environment for Reputation Systems Authors | 1-gen-2013 | Celestini, A; De Nicola, R; Tiezzi, F | |
| On the Power of Attribute-Based Communication | 1-gen-2016 | Yehia Abd, Alrahman; De Nicola, R; M., Loreti | |
| Orchestrating Tuple-Based Languages | 1-gen-2011 | De Nicola, R; Margheri, A; Tiezzi, F | |
| Partial ordering derivations for CCS | 1-gen-1985 | Degano, P; De Nicola, R; Montanari, U | |
| Partial orderings descriptions and observations of nondeterministic concurrent processes. | 1-gen-1988 | Degano, P; De Nicola, R; Montanari, U | |
| Possible Worlds for Process Algebras | 1-gen-1998 | Veglioni, S; De Nicola, R | |
| Preface (Editorial) | 1-gen-2016 | De Nicola, R; Kuhn, E. | |
| Programming and Verifying Component Ensembles. | 1-gen-2014 | De Nicola, R; Lluch-Lafuente, A; Loreti, M; Morichetta, A; Pugliese, R; Senni, V; Tiezzi, F | |
| Programming of CAS Systems by Relying on Attribute-Based Communication | 1-gen-2016 | Yehia Abd, Alrahman; De Nicola, R; Michele, Loreti | |
| Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software | 1-gen-2014 | Belzner, L; De Nicola, R; Vandin, A; Wirsing, M | |
| Reconstructing topological properties of complex networks using the fitness model | 1-gen-2015 | Cimini, G; Squartini, T; Musmeci, N; Puliga, M; Gabrielli, A; Garlaschelli, D; Battiston, S; Caldarelli, G | |
| Replicating Data for Better Performances in X10 | 1-gen-2016 | Marina, Andric; De Nicola, R; Alberto, Lluch-Lafuente: | |
| Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes | 1-gen-2012 | Bernardo, M; De Nicola, R; Loreti, M | |
| RVerifying hardware components within JACK | 1-gen-1995 | De Nicola, R; Fantechi, A; Gnesi, S; Larosa, S; Ristori G., Charme | |
| Self-expression and Dynamic Attribute-Based Ensembles in SCEL | 1-gen-2014 | Cabri, G; Capodieci, N; Cesari, L; De Nicola, R; Pugliese, R; Tiezzi, F; Zambonelli, F | |
| SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications | 1-gen-2012 | Luís, Caires; MENDES TORRES VIEIRA, H |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile